DES re Emulation Using Java Card
نویسندگان
چکیده
This paper presents a Java Card applet o ering the same functionality as a widely used contactless storage card. The goal is to provide a solution for secure and widely deployable data storage for smart phones. The applet provides an independent storage space for di erent applications with their own keys and con guration and is fully compatible with the MIFARE DES re Card EV1 technology. It can be installed in every Java Card 2.2.1 compatible Smart Card. Integration with Google Android phones is possible using a secure micro-SD card or other secure platforms that feature a JavaCard chip and a NFC antenna. The DES re emulator can be accessed both externally through NFC, or internally through the smart phone OS. In the last few years, the number of di erent electronic applications using secure elements have grown markedly. It is easy to take a look at things that are used day by day and nd that secure storage is needed for a big part of them. Credit cards, access control, public transport, supermarket vouchers... Curiously most of them are found in our wallets. On the other hand, mobile phones have been growing recently in the number of applications where they are used, increasing their value in our pockets. It has been found iteresting to move all this stu to our smart phone with the aim of reducing the number of things carried by the clients. Thus, a secure storage is needed in the smart phone to provide such a service. Up to now, each card within our wallet had its chip where the secure data was stored. Our credit for public phones, our vouchers for our
منابع مشابه
Formal Model and Implementation of the Java Card Dynamic Security Policy
Résumé. Les méthodes formelles sont aujourd’hui un moyen d’améliorer la qualité des processus de developpement logiciel. Cet article propose une application de la méthode B, méthode formelle basée sur la théorie ensembliste, au domaine d’activité spécifique qu’est la Java Card. Les cartes à puce sont un élément de la sécurité des systèmes d’information. L’assurance du respect de la sécurité peu...
متن کاملAchieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces
There is a large amount of interest in using multi-FPGA systems for logic emulation and rapid-prototyping of digital systems. One difficulty with this approach is the handling of the external interfaces of the system. In this paper we describe a generic interface transducer, a board capable of handling the external interfaces of the system under prototype, allowing the emulation to operate in t...
متن کاملCardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java smart card. The tight space limits of Java smart cards make the implementation non-trivial. A potential application is to ensure that applets down-loaded off the internet conform to personalised security permissions stored on the Java card using a security policy encoded ...
متن کاملToward Automatic Generation of Provably Correct Java Card Applets
This paper overviews an ongoing project aimed at developing an automatic generator of Java Card applets from higher-level spec(ification)s written in a domain-specific language called “SmartSlang”. The generator is based on Specware, a system for the formal specification and refinement of software. The applet generator translates a SmartSlang spec into the logical language of Specware, re-expre...
متن کاملSoftware Card Emulation in NFC-enabled Mobile Phones: Great Advantage or Security Nightmare?
Software card emulation is a new approch to advance the interoperability of NFC with legacy contactless smartcard systems. It has been first introduced to NFC-enabled mobile phones by Research In Motion (RIM) on their BlackBerry platform. Software card emulation aims at opening and simplifying the complex and tightly controlled card emulation functionality. While this form of card emulation, th...
متن کامل